77710786c6c77e30b327bfeb8763defd214808e7,eclipsePlugin/src/de/tobject/findbugs/properties/WorkspaceSettingsTab.java,WorkspaceSettingsTab,performOK,#,194

Before Change


    public void performOK() {
        final SortedSet<String> detectorPaths = PrefsUtil.readDetectorPaths(store);

        if (DetectorFactoryCollection.isLoaded()) {
            DetectorFactoryCollection dfc = DetectorFactoryCollection.instance();
            URL[] pluginList = dfc.getPluginList();
            boolean shouldReplace = pluginList.length != detectorPaths.size();
            if (!shouldReplace) {
                // check if both lists are really identical
                for (URL url : pluginList) {
                    String file = url.getFile();
                    IPath filterPath = FindBugsWorker.getFilterPath(file, null);
                    if (!detectorPaths.contains(filterPath.toPortableString())) {
                        shouldReplace = true;
                        break;
                    }
                }
            }
            if (!shouldReplace) {
                return;
            }
        } else if (detectorPaths.isEmpty()) {
            return;
        }

After Change


            store.setValue(FindBugsConstants.KEY_SHORT_CLASSPATH, shortClassPath);
        } else {
            final SortedSet<String> detectorPaths = PrefsUtil.readDetectorPaths(store);
            if (detectorPaths.isEmpty() && !DetectorFactoryCollection.isLoaded()) {
                return;
            }
            FindbugsPlugin.applyCustomDetectors(true);